Search Results

6.826 Fall 2020 Lecture 16: Concurrent separation logic, Iris

6.826 Fall 2020 Lecture 16: Concurrent separation logic, Iris

6.826 Fall 2020 Lecture 9: Separation logic

6.826 Fall 2020 Lecture 9: Separation logic

Cosmo: A Concurrent Separation Logic for Multicore Ocaml (ICFP 2020)

Cosmo: A Concurrent Separation Logic for Multicore Ocaml (ICFP 2020)

Iris tutorial POPL 2021

Iris tutorial POPL 2021

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany

Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic

Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic

Instantiating the Iris program logic for a new language: a tutorial

Instantiating the Iris program logic for a new language: a tutorial

Interactive Proofs in Higher-Order Concurrent Separation Logic

Interactive Proofs in Higher-Order Concurrent Separation Logic

SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency

SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency

A Separation Logic for Concurrent Randomized Programs

A Separation Logic for Concurrent Randomized Programs

Oracle Semantics for Concurrent Separation Logic

Oracle Semantics for Concurrent Separation Logic

[POPL'22] Concurrent Incorrectness Separation Logic

[POPL'22] Concurrent Incorrectness Separation Logic